#!/bin/bash

# test all aigers
function traversal(){
    for dir in `ls $1`
    do
        if [ -d $1/$dir ]; 
        then
            python main_boils.py $1/$dir/$dir.aig
        fi    
    done
}

traversal ../../benchmark_eda_elite